Tabular Expressions and Their Relational Semantics
نویسندگان
چکیده
Tabular Expressions (Parnas et al. [20, 28, 32, 33]) are means to represent the complex relations that are used to specify or document software systems. A formal model and a semantics for tabular expressions are presented. The model covers most known types of tables used in software engineering, and admits precise classification and definition of new types of tables. The practical importance of the semantics of tabular expressions is also discussed.
منابع مشابه
Towards a uniform relational semantics for tabular expressions
Parnas et al have proposed tabular expressions as a means to represent the complex rela tions that are used to specify or document software systems The idea is that a tabular expression is much easier to understand and verify than a long linear formula Tabular expressions are in tended to supplement not replace notations used by engineers They were found to be useful for describing large mathem...
متن کاملOn a formal semantics of tabular expressions
In Parnas et al advocate the use of relational model for doc umenting the intended behaviour of programs In this method tabular expres sions or tables are used to improve readability so that formal documentation can replace conventional documentation Parnas describes several classes of tables and provides their formal syntax and semantics In this paper an alternative more general and more homog...
متن کاملTabular Expressions in Software Engineering
Tabular expressions (tables) have been used in the software development process for more than twenty years. In addition, research has been ongoing to develop semantics for tabular expressions. At this stage in the history of tabular expressions we see a slight split between those working to improve the semantic understanding of tables, and those using tables to document real industrial software...
متن کاملConverting Software Cost Reduction Tables into Tabular Expressions
Tabular expressions and the Software Cost Reduction (SCR) method are table-based specification techniques. Both of them were successfully used in practice, especially to formally specify software requirements. Tabular expressions have rather precise semantics, while SCR semantics are more intuition based. In this paper, we want to improve SCR semantics. For that, we show how to convert the SCR ...
متن کاملTabular Expressions and Total Functional Programming
Our research Group is developing methods of producing practical reference documentation for software products and components. Our document contents are defined by a relational model in which each document is required to be a representation of a specified relation. In effect, we are using mathematical descriptions of relations to provide specifications and descriptions of programs written in con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fundam. Inform.
دوره 67 شماره
صفحات -
تاریخ انتشار 2005